From 29dd0a940e5111d7f0bb55b3b68d52b8c1e44470 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Timm=20B=C3=A4der?= Date: Tue, 26 Sep 2017 18:22:27 +0200 Subject: [PATCH] GdkEvent: OWNER_CHANGE events have a selection as well --- gdk/gdkevents.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gdk/gdkevents.c b/gdk/gdkevents.c index 33c2d5011e..a2ffcf5cea 100644 --- a/gdk/gdkevents.c +++ b/gdk/gdkevents.c @@ -3008,7 +3008,8 @@ gdk_event_get_selection (const GdkEvent *event, if (event->type == GDK_SELECTION_CLEAR || event->type == GDK_SELECTION_NOTIFY || - event->type == GDK_SELECTION_REQUEST) + event->type == GDK_SELECTION_REQUEST || + event->type == GDK_OWNER_CHANGE) { *selection = event->selection.selection; return TRUE; -- 2.30.2